Static Analysis

Interprocedural query extraction for transparent persistence

Languages / Programming Languages / Static Analysis / Program Analysis / Persistence / Databases / Language Change / Optimization / Compiler / Program Transformation / Feasibility / World peace solution / Database Languages / Database / Object Oriented / Programming language / Object Relational Mapping / Databases / Language Change / Optimization / Compiler / Program Transformation / Feasibility / World peace solution / Database Languages / Database / Object Oriented / Programming language / Object Relational Mapping

Comprension de Programas por Inspeccion Visual y Animacion

Software Engineering / Static Analysis / Reverse Engineering / Dynamic Analysis / Software Visualization

A virtual class calculus

Static Analysis / Polymorphism / Higher Order Thinking / Semantics of programming languages / Operational Semantics / Large Scale / Object Oriented / Large Scale / Object Oriented

Optimal firm behavior under environmental constraints

Static Analysis / Energy Consumption / Public investment in R&D / Profitability / Energy Saving / Stable Set / Technological Progress / Energy Price / Growth rate / Upper Bound / Initial Condition / Environmental Regulation / Induced Innovation / Stable Set / Technological Progress / Energy Price / Growth rate / Upper Bound / Initial Condition / Environmental Regulation / Induced Innovation

A model of flexible uptake of two essential resources

Mathematics / Static Analysis / Pharmacokinetics / Phytoplankton / Theoretical biology / Biological Sciences / Adaptive Dynamics / Mathematical Sciences / Elements / Animals / Bacteria / Model development / Experimental Tests / Growth rate / Osmosis / Dynamic Model of WSN / Environment / Biological Sciences / Adaptive Dynamics / Mathematical Sciences / Elements / Animals / Bacteria / Model development / Experimental Tests / Growth rate / Osmosis / Dynamic Model of WSN / Environment

Parallel probabilistic model checking on general purpose graphics processors

Static Analysis / Model Checking / Modeling / Linear Algebra / Computer Software / Graphics / Case Study / Probabilistic Model Checking / Parallel Algorithm / On / Linear Equations / Matrix Calculus / graphic processing unit (GPU) / Graphics / Case Study / Probabilistic Model Checking / Parallel Algorithm / On / Linear Equations / Matrix Calculus / graphic processing unit (GPU)

Mobile Portal Implementation Strategy: A Theoretical Exploration

Static Analysis / Mobile Commerce / Value Chain / Conceptual Framework

An adaptive compilation framework for generic data-parallel array programming

Software Engineering / Static Analysis / Generic Programming / Program Specification / Structural Properties

Deriving Parallel Codes via Invariants

Static Analysis

Parallel probabilistic model checking on general purpose graphics processors

Static Analysis / Model Checking / Modeling / Linear Algebra / Computer Software / Graphics / Case Study / Probabilistic Model Checking / Parallel Algorithm / On / Linear Equations / Matrix Calculus / graphic processing unit (GPU) / Graphics / Case Study / Probabilistic Model Checking / Parallel Algorithm / On / Linear Equations / Matrix Calculus / graphic processing unit (GPU)

Parallel probabilistic model checking on general purpose graphics processors

Static Analysis / Model Checking / Modeling / Linear Algebra / Computer Software / Graphics / Case Study / Probabilistic Model Checking / Parallel Algorithm / On / Linear Equations / Matrix Calculus / graphic processing unit (GPU) / Graphics / Case Study / Probabilistic Model Checking / Parallel Algorithm / On / Linear Equations / Matrix Calculus / graphic processing unit (GPU)

On deriving data parallel code from a functional program

Functional Programming / Static Analysis / Code Generation / Performance Improvement / Abstract Syntax Tree

On deriving data parallel code from a functional program

Functional Programming / Static Analysis / Code Generation / Performance Improvement / Abstract Syntax Tree

Grupos estratégicos en la banca colombiana: análisis estático y dinámico

Static Analysis / Strategic Management / Statistical Test

On deriving data parallel code from a functional program

Computer Science / Functional Programming / Static Analysis / Parallel Programming / Linear Programming / Scheduling / Formal Specification / Code Generation / Performance Improvement / Functional Languages / Information Analysis / Alpha / Abstract Syntax Tree / Scheduling / Formal Specification / Code Generation / Performance Improvement / Functional Languages / Information Analysis / Alpha / Abstract Syntax Tree

Síntesis de especificaciones paramétricas de utilización de la memoria dinámica

Static Analysis / Embedded Systems

Copyright © 2017 DATOSPDF Inc.